[IA64] Fix ptc.ga emulation bug
authorawilliam@xenbuild2.aw <awilliam@xenbuild2.aw>
Wed, 28 Feb 2007 17:18:44 +0000 (10:18 -0700)
committerawilliam@xenbuild2.aw <awilliam@xenbuild2.aw>
Wed, 28 Feb 2007 17:18:44 +0000 (10:18 -0700)
commitfd5b593b0ad5eba1f0f8ee22b030c26951c3f777
treead7bfcdb3d43256b9926c5683d0171a945f275e0
parent81439cf3bfcdc26c85591ba89a1ecc124a91cc26
[IA64] Fix ptc.ga emulation bug

If a vcpu migrates to the local cpu, smp_call_function_single() doesn't
work.  Call ptc_ga_remote_func() directly instead.

Signed-off-by: Anthony Xu <anthony.xu@intel.com>
xen/arch/ia64/vmx/vmmu.c